查看原文
其他

【缺陷周话】第 39期:解引用未初始化的指针

奇安信代码卫士 代码卫士 2022-04-06

 聚焦源代码安全,网罗国内外最新资讯!


*声明:《缺陷周话》栏目系列文章由奇安信代码卫士团队原创出品。未经许可,禁止转载。转载请注明“转自奇安信代码卫士 www.codesafe.cn”。


代码审计是使用静态分析发现源代码中安全缺陷的方法,辅助开发或测试人员在软件上线前较为全面地了解安全问题,防患于未然,因此一直以来都是学术界和产业界研究的热点,并已成为安全开发生命周期 SDL 和 DevSecOps 等保障体系的重要技术手段。

奇安信代码卫士团队基于自主研发的国内首款源代码安全检测商用工具,以及十余年漏洞技术研究的积累,推出“缺陷周话”系列栏目。每周针对 CWE、OWASP 等标准中的一类缺陷,结合实例和工具使用进行详细介绍,旨在为广大开发和安全人员提供代码审计的基础性标准化教程。

缺陷周话 • 第39期

解引用未初始化的指针


       1、解引用未初始化的指针


指针声明后没有进行初始化就对其进行解引用,会导致未定义的行为。一些动态内存分配方法虽然会对内存进行申请,但也可能不会对申请的内存进行初始化,如: malloc()aligned_alloc() 不会初始化,而 calloc() 会初始化为0。程序在解引用这些不确定的值时可能会触发非预期的行为,甚至可能会让程序存在被恶意攻击的严重隐患。详见 CWE-457: Use of Uninitialized Variable (3.2) 。


 2、解引用未初始化的指针的危害


未初始化的指针拥有不确定的值,对未初始化的指针进行解引用可能会导致空指针解引用或其他不符合预期的行为。

CVE中也有一些与之相关的漏洞信息,从2018年1月至2019年6月,CVE中就有4条相关漏洞信息。漏洞信息如下:

CVE 编号概述
CVE-2018-19407Linux kernel 4.19.2 及之前版本中的 arch/x86/kvm/x86.c 文件的 ‘vcpuscanioapic’ 函数存在安全漏洞,原因是当满足一定条件时ioapic未初始化。本地攻击者可借助特制的系统调用利用该漏洞造成拒绝服务(空指针解引用)。
CVE-2018-19406Linux kernel 4.19.2 及之前版本中的 arch/x86/kvm/lapic.c文件的 kvmpvsend_ipi 存在安全漏洞,原因是当满足一定条件时apic map未初始化。本地攻击者可借助特制的系统调用利用该漏洞造成拒绝服务(空指针解引用)。
CVE-2018-4040Atlantis Word Processor 3.2.7.1 版本和 3.2.7.2 版本中的 rich text format parser 存在安全漏洞。攻击者可通过诱使用户打开特制的文档利用该漏洞造成RTF令牌解引用未初始化的指针,进而执行代码或造成应用程序崩溃。
CVE-2018-3842Foxit PDF Reader 9.0.1.1049 版本中的 JavaScript 引擎存在一个未初始化指针漏洞,通过构建特殊的 pdf 文件可以导致解引用未初始化的指针,攻击者利用该漏洞执行任意代码。


    3、示例代码


示例源于 Samate Juliet Test Suite for C/C++ v1.3 (https://samate.nist.gov/SARD/testsuite.php),源文件名:CWE457_Use_of_Uninitialized_Variable__double_pointer_01.c。

3.1 缺陷代码


在上述示例代码中,第26行定义了 double 类型指针 data,但并未进行初始化,随后在第30行对 data 进行了解引用,由于此时 data 并未被赋值,其指向的内存也是未定义的。因此存在“解引用未初始化的指针”问题。

使用代码卫士对上述示例代码进行检测,可以检出“解引用未初始化的指针”缺陷,显示等级为高。如图1所示:

图1:"解引用未初始化的指针" 检测示例

3.2 修复代码


在上述修复代码中,Samate给出的修复方式为:在第27行定义了 double 类型的指针 data,第32行使用 malloc() 动态申请内存并在第33行判断内存申请是否成功,随后在第34行对指针 data 进行初始化,从而避免了第35行解引用未初始化的指针问题。

使用代码卫士对修复后的代码进行检测,可以看到已不存在“解引用未初始化的指针”缺陷。如图2:

图2:修复后检测结果


4、如何避免解引用未初始化的指针


(1)在指针声明时完成初始化操作,避免解引用未初始化的指针。

(2)谨记一些动态内存分配函数不会对指针进行初始化,在申请内存后需要人工对申请的内存进行初始化。





推荐阅读

【缺陷周话】第 38期——不安全的反序列化:XStream

【缺陷周话】第 37期:未初始化值用于赋值操作

【缺陷周话】第 36 期:弱验证

【缺陷周话】第 35 期:除数为零

【缺陷周话】第 34 期:重定向

【缺陷周话】第 33期:错误的资源关闭

【缺陷周话】第 32期:弱加密

【缺陷周话】第 31 期:错误的内存释放方法

【缺陷周话】第 30 期:不安全的哈希算法

【缺陷周话】第 29 期:返回栈地址

【缺陷周话】第 28 期:被污染的内存分配

【缺陷周话】第 27 期:不安全的随机数

【缺陷周话】第 26期:被污染的格式化字符串

【缺陷周话】第 25期:硬编码密码

【缺陷周话】第 24期:在scanf 函数中没有对 %s 格式符进行宽度限制

【缺陷周话】第 23期:双重检查锁定

【缺陷周话】第 22期:错误的内存释放对象

【缺陷周话】第 21 期:数据库访问控制

【缺陷周话】第 20 期:无符号整数回绕

【缺陷周话】第19期:LDAP 注入

【缺陷周话】第18 期  XPath 注入

【缺陷周话】第17 期:有符号整数溢出

【缺陷周话】第 16 期 — 资源未释放:流

【缺陷周话】第 15 期 — 资源未释放:文件

【缺陷周话】第 14 期 :HTTP 响应截断

【缺陷周话】第 13期 :二次释放

【缺陷周话】第 12期 :存储型 XSS

【缺陷周话】第 11期 :释放后使用

【缺陷周话】第 10 期 :反射型 XSS

【缺陷周话】第 9 期 :缓冲区下溢

【缺陷周话】第 8 期 :路径遍历

【缺陷周话】第 7 期 :缓冲区上溢

【缺陷周话】第 6 期 :命令注入

【缺陷周话】第5期 :越界访问

【缺陷周话】第4期 :XML 外部实体注入

【缺陷周话】第3期 :内存泄漏

【缺陷周话】第 2 期 :SQL 注入

【缺陷周话】第1期 :空指针解引用


*奇安信代码卫士团队原创出品。未经许可,禁止转载。转载请注明“转自奇安信代码卫士 www.codesafe.cn”。



奇安信代码卫士 (codesafe)

国内首个专注于软件开发安全的产品线。




您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存